The Constructive Implicit Function Theorem and Applications in Mechanics Douglas Bridges University of Waikato

نویسندگان

  • Douglas Bridges
  • Cristian Calude
  • Boris Pavlov
چکیده

We examine some ways of proving the Implicit Function Theorem and the Inverse Function Theorem within Bishop's constructive mathematics. Section 2 contains a new, entirely constructive proof of the Implicit Function Theorem. The paper ends with some comments on the application of the Implicit Function Theorem in classical mechanics.

منابع مشابه

The Constructive Implicit Function Theorem and Proof in Logistic Mixtures

There is the work by Bridges et al (1999) on the key features of a constructive proof of the implicit function theorem, including some applications to physics and mechanics. For mixtures of logistic distributions such information is lacking, although a special instance of the implicit function theorem prevails therein. The theorem is needed to see that the ridgeline function, which carries info...

متن کامل

A common fixed point theorem for weakly compatible maps satisfying common property (E:A:) and implicit relation in intuitionistic fuzzy metric spaces

In this paper, employing the common property ($E.A$), we prove a common fixed theorem for weakly compatible mappings via an implicit relation in Intuitionistic fuzzy metric space. Our results generalize the results of S. Kumar [S. Kumar, {it Common fixed point theorems in Intuitionistic fuzzy metric spaces using property (E.A)}, J. Indian Math. Soc., 76 (1-4) (2009), 94--103] and C. Alaca et al...

متن کامل

$S$-metric and fixed point theorem

In this paper, we prove a general fixed point theorem in $textrm{S}$-metric spaces for maps satisfying an implicit relation on complete metric spaces. As applications, we get many analogues of fixed point theorems in metric spaces for $textrm{S}$-metric spaces.

متن کامل

The existence result of a fuzzy implicit integro-differential equation in semilinear Banach space

In this paper‎, ‎the existence and uniqueness of the ‎solution of a nonlinear fully fuzzy implicit integro-differential equation‎ ‎arising in the field of fluid mechanics is investigated. ‎First,‎ an equivalency lemma ‎is ‎presented ‎by‎ which the problem understudy ‎is ‎converted‎ to ‎the‎ two different forms of integral equation depending on the kind of differentiability of the solution. Then...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

متن کامل
عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997